-
1 negative effect axiom
English-Russian dictionary of computer science and programming > negative effect axiom
-
2 axiom
- action precondition axiom
- axiom of assignment
- axiom of iteration
- axiom of selection
- frame axiom
- logical axiom
- negative effect axiom
- positive effect axiom
- practicability axiom
- reducibility axiom
- self-organization axiom
- sequencing axiom
- successor state axiom
- unique name axiomEnglish-Russian dictionary of computer science and programming > axiom
См. также в других словарях:
Principle of double effect — Part of a series on St. Thomas Aquinas … Wikipedia
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
The Book of Healing — (Arabic: الشفاء Al Shefa , Latin: Sanatio ) is a scientific and philosophical encyclopedia written by the great Islamic polymath Abū Alī ibn Sīnā (Avicenna) from Asfahana, near Bukhara in Greater Persia (now Uzbekistan). Despite its English title … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Actual Grace — • A grace that is given for the performance of salutary acts and is present and disappears with the action itself Catholic Encyclopedia. Kevin Knight. 2006. Actual Grace Actual Grace … Catholic encyclopedia
Anxiety/Uncertainty Management — (AUM) is a theory developed by Dr. William B. Gudykunst in an attempt to define what makes up effective communication. Gudykunst’s research began in 1985 using existing theories as a starting point. Specifically, the existing research of… … Wikipedia
ethics — /eth iks/, n.pl. 1. (used with a sing. or pl. v.) a system of moral principles: the ethics of a culture. 2. the rules of conduct recognized in respect to a particular class of human actions or a particular group, culture, etc.: medical ethics;… … Universalium
Frame of reference — A frame of reference in physics, may refer to a coordinate system or set of axes within which to measure the position, orientation, and other properties of objects in it, or it may refer to an observational reference frame tied to the state of… … Wikipedia
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia